More from this Author
Found 4 books by Giorgio Levi (Editor)
Algebraic and Logic Programming
by H. Kirchner (Editor), Giorgio Levi (Editor)
Algebraic and Logic Programming
by H. Kirchner (Editor), Giorgio Levi (Editor)
Logic Programming
by Giorgio Levi (Editor), Maurizio Martelli (Editor)
Verification, Model Checking, and Abstract Interpretation
by Bernhard Steffen (Editor), Giorgio Levi (Editor)